From b1ea6b00eff67474d590ab60e75535973cacb6ed Mon Sep 17 00:00:00 2001 From: "iap10@labyrinth.cl.cam.ac.uk" Date: Fri, 21 May 2004 10:57:40 +0000 Subject: [PATCH] bitkeeper revision 1.919 (40ade0a4dgfKSb2uB7n-qil12Kdw_A) temp debug --- xen/common/sched_bvt.c | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/xen/common/sched_bvt.c b/xen/common/sched_bvt.c index cfd1bc9656..a4b76b42f5 100644 --- a/xen/common/sched_bvt.c +++ b/xen/common/sched_bvt.c @@ -205,6 +205,11 @@ int bvt_adjdom(struct task_struct *p, struct bvt_dom_info *inf = BVT_INFO(p); + + printk("Get domain %lld bvt mcu_adv=%ld, warp=%ld, warpl=%ld, warpu=%ld\n", + p->domain, inf->mcu_advance, inf->warp, + inf->warpl, inf->warpu ); + /* Sanity -- this can avoid divide-by-zero. */ if ( mcu_adv == 0 ) return -EINVAL; @@ -214,6 +219,11 @@ int bvt_adjdom(struct task_struct *p, inf->warp = warp; inf->warpl = warpl; inf->warpu = warpu; + + printk("Set domain %lld bvt mcu_adv=%ld, warp=%ld, warpl=%ld, warpu=%ld\n", + p->domain, inf->mcu_advance, inf->warp, + inf->warpl, inf->warpu ); + spin_unlock_irqrestore(&schedule_lock[p->processor], flags); } else if ( cmd->direction == SCHED_INFO_GET ) -- 2.30.2